Methodology and Toolset for Model Verification, Hardware/Software co‐simulation, Performance Optimisation and Customisable Source‐code generation

The MODUS project aims to provide a pragmatic and viable solution that will allow SMEs to substantially improve their positioning in the embedded-systems development market. The MODUS tool will provide a model verification and Hardware/Software co‐simulation tool (TRIAL) and a performance optimisation and customisable source‐code generation tool (TUNE). The concept is depicted in automated modelling and optimisation of embedded-systems development. The tool will enable model verification by guiding the selection of existing open‐source model verification engines, based on the automated analysis of system properties, and producing inputs to be fed into these engines, interfacing with standard (SystemC) simulation platforms for HW/SW co‐simulation, customisable source‐code generation towards respecting coding standards and conventions and software performance‐tuning optimisation through automated design transformations. Key-Words: -Model Verification, HW/SW co-simulation, customizable code generation, SW optimization.